FIPA Dialogues in Defeasible Logic

In this paper we formalize reasoning about agent dialogue semantics in defeasible logic, including FIPA speech acts. We introduce a defeasible logic for efficient reasoning about agents, roles, mental attitudes, time and communication. We introduce the inform and request action of FIPA in the logic by attributing the mental attitudes to roles, we extend it with defeasible reasoning about the mental states of the involved agents, and we show how composed and abstract speech acts can be formalized. We also show how reasoning about persuasion dialogues can be formalized in the logic.